<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 2005, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="The ASCII character set. This class may be used as ancestor by classes needing its facilities.">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>ascii Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="ascii_chart.html">Chart</A></TD><TD><A HREF="ascii_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "[
        The ASCII character set.
        This class may be used as ancestor by classes needing its facilities.
    ]"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 2005, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2006-02-20 17:12:09 +0100 (Mon, 20 Feb 2006) $"
    revision: "$Revision: 45 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/ascii_flatshort.html">ASCII</A>


<B>create</B> 
    <A NAME="f_default_create"><A HREF="../base/any_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process instances of classes with no creation clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_ack"><A HREF="../base/ascii_flatshort.html#f_ack">ack</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 6</A>

    <A NAME="f_ampersand"><A HREF="../base/ascii_flatshort.html#f_ampersand">ampersand</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 38</A>

    <A NAME="f_back_space"><A HREF="../base/ascii_flatshort.html#f_back_space">back_space</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 8</A>

    <A NAME="f_backslash"><A HREF="../base/ascii_flatshort.html#f_backslash">backslash</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 92</A>

    <A NAME="f_bar"><A HREF="../base/ascii_flatshort.html#f_bar">bar</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 124</A>

    <A NAME="f_bel"><A HREF="../base/ascii_flatshort.html#f_bel">bel</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 7</A>

    <A NAME="f_blank"><A HREF="../base/ascii_flatshort.html#f_blank">blank</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 32</A>

    <A NAME="f_break"><A HREF="../base/ascii_flatshort.html#f_break">break</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -7</A>

    <A NAME="f_bs"><A HREF="../base/ascii_flatshort.html#f_bs">bs</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 8</A>

    <A NAME="f_buf_overflow"><A HREF="../base/ascii_flatshort.html#f_buf_overflow">buf_overflow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -9</A>

    <A NAME="f_can"><A HREF="../base/ascii_flatshort.html#f_can">can</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 24</A>

    <A NAME="f_carriage_return"><A HREF="../base/ascii_flatshort.html#f_carriage_return">carriage_return</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 13</A>

    <A NAME="f_case_diff"><A HREF="../base/ascii_flatshort.html#f_case_diff">case_diff</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/ascii_flatshort.html#f_lower_a">Lower_a</A><FONT COLOR="red"> - </FONT><A HREF="../base/ascii_flatshort.html#f_upper_a">Upper_a</A>

    <A NAME="f_character_set_size"><A HREF="../base/ascii_flatshort.html#f_character_set_size">character_set_size</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 128</A>

    <A NAME="f_circumflex"><A HREF="../base/ascii_flatshort.html#f_circumflex">circumflex</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 94</A>

    <A NAME="f_closing_brace"><A HREF="../base/ascii_flatshort.html#f_closing_brace">closing_brace</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 125</A>

    <A NAME="f_colon"><A HREF="../base/ascii_flatshort.html#f_colon">colon</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 58</A>

    <A NAME="f_comma"><A HREF="../base/ascii_flatshort.html#f_comma">comma</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 44</A>

    <A NAME="f_commercial_at"><A HREF="../base/ascii_flatshort.html#f_commercial_at">commercial_at</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 64</A>

    <A NAME="f_cr"><A HREF="../base/ascii_flatshort.html#f_cr">cr</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 13</A>

    <A NAME="f_ctrl_a"><A HREF="../base/ascii_flatshort.html#f_ctrl_a">ctrl_a</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>

    <A NAME="f_ctrl_b"><A HREF="../base/ascii_flatshort.html#f_ctrl_b">ctrl_b</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 2</A>

    <A NAME="f_ctrl_backslash"><A HREF="../base/ascii_flatshort.html#f_ctrl_backslash">ctrl_backslash</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 28</A>

    <A NAME="f_ctrl_c"><A HREF="../base/ascii_flatshort.html#f_ctrl_c">ctrl_c</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 3</A>

    <A NAME="f_ctrl_circumflex"><A HREF="../base/ascii_flatshort.html#f_ctrl_circumflex">ctrl_circumflex</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 30</A>

    <A NAME="f_ctrl_d"><A HREF="../base/ascii_flatshort.html#f_ctrl_d">ctrl_d</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 4</A>

    <A NAME="f_ctrl_e"><A HREF="../base/ascii_flatshort.html#f_ctrl_e">ctrl_e</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 5</A>

    <A NAME="f_ctrl_f"><A HREF="../base/ascii_flatshort.html#f_ctrl_f">ctrl_f</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 6</A>

    <A NAME="f_ctrl_g"><A HREF="../base/ascii_flatshort.html#f_ctrl_g">ctrl_g</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 7</A>

    <A NAME="f_ctrl_h"><A HREF="../base/ascii_flatshort.html#f_ctrl_h">ctrl_h</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 8</A>

    <A NAME="f_ctrl_i"><A HREF="../base/ascii_flatshort.html#f_ctrl_i">ctrl_i</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 9</A>

    <A NAME="f_ctrl_j"><A HREF="../base/ascii_flatshort.html#f_ctrl_j">ctrl_j</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 10</A>

    <A NAME="f_ctrl_k"><A HREF="../base/ascii_flatshort.html#f_ctrl_k">ctrl_k</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 11</A>

    <A NAME="f_ctrl_l"><A HREF="../base/ascii_flatshort.html#f_ctrl_l">ctrl_l</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 12</A>

    <A NAME="f_ctrl_lbracket"><A HREF="../base/ascii_flatshort.html#f_ctrl_lbracket">ctrl_lbracket</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 27</A>

    <A NAME="f_ctrl_m"><A HREF="../base/ascii_flatshort.html#f_ctrl_m">ctrl_m</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 13</A>

    <A NAME="f_ctrl_n"><A HREF="../base/ascii_flatshort.html#f_ctrl_n">ctrl_n</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 14</A>

    <A NAME="f_ctrl_o"><A HREF="../base/ascii_flatshort.html#f_ctrl_o">ctrl_o</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 15</A>

    <A NAME="f_ctrl_p"><A HREF="../base/ascii_flatshort.html#f_ctrl_p">ctrl_p</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 16</A>

    <A NAME="f_ctrl_q"><A HREF="../base/ascii_flatshort.html#f_ctrl_q">ctrl_q</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 17</A>

    <A NAME="f_ctrl_questmark"><A HREF="../base/ascii_flatshort.html#f_ctrl_questmark">ctrl_questmark</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 127</A>

    <A NAME="f_ctrl_r"><A HREF="../base/ascii_flatshort.html#f_ctrl_r">ctrl_r</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 18</A>

    <A NAME="f_ctrl_rbracket"><A HREF="../base/ascii_flatshort.html#f_ctrl_rbracket">ctrl_rbracket</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 29</A>

    <A NAME="f_ctrl_s"><A HREF="../base/ascii_flatshort.html#f_ctrl_s">ctrl_s</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 19</A>

    <A NAME="f_ctrl_t"><A HREF="../base/ascii_flatshort.html#f_ctrl_t">ctrl_t</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 20</A>

    <A NAME="f_ctrl_u"><A HREF="../base/ascii_flatshort.html#f_ctrl_u">ctrl_u</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 21</A>

    <A NAME="f_ctrl_underlined"><A HREF="../base/ascii_flatshort.html#f_ctrl_underlined">ctrl_underlined</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 31</A>

    <A NAME="f_ctrl_v"><A HREF="../base/ascii_flatshort.html#f_ctrl_v">ctrl_v</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 22</A>

    <A NAME="f_ctrl_w"><A HREF="../base/ascii_flatshort.html#f_ctrl_w">ctrl_w</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 23</A>

    <A NAME="f_ctrl_x"><A HREF="../base/ascii_flatshort.html#f_ctrl_x">ctrl_x</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 24</A>

    <A NAME="f_ctrl_y"><A HREF="../base/ascii_flatshort.html#f_ctrl_y">ctrl_y</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 25</A>

    <A NAME="f_ctrl_z"><A HREF="../base/ascii_flatshort.html#f_ctrl_z">ctrl_z</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 26</A>

    <A NAME="f_dc1"><A HREF="../base/ascii_flatshort.html#f_dc1">dc1</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 17</A>

    <A NAME="f_dc2"><A HREF="../base/ascii_flatshort.html#f_dc2">dc2</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 18</A>

    <A NAME="f_dc3"><A HREF="../base/ascii_flatshort.html#f_dc3">dc3</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 19</A>

    <A NAME="f_dc4"><A HREF="../base/ascii_flatshort.html#f_dc4">dc4</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 20</A>

    <A NAME="f_del"><A HREF="../base/ascii_flatshort.html#f_del">del</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 127</A>

    <A NAME="f_dle"><A HREF="../base/ascii_flatshort.html#f_dle">dle</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 16</A>

    <A NAME="f_dollar"><A HREF="../base/ascii_flatshort.html#f_dollar">dollar</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 36</A>

    <A NAME="f_dot"><A HREF="../base/ascii_flatshort.html#f_dot">dot</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 46</A>

    <A NAME="f_doublequote"><A HREF="../base/ascii_flatshort.html#f_doublequote">doublequote</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 34</A>

    <A NAME="f_down_arrow"><A HREF="../base/ascii_flatshort.html#f_down_arrow">down_arrow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -3</A>

    <A NAME="f_eight"><A HREF="../base/ascii_flatshort.html#f_eight">eight</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 56</A>

    <A NAME="f_em"><A HREF="../base/ascii_flatshort.html#f_em">em</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 25</A>

    <A NAME="f_enq"><A HREF="../base/ascii_flatshort.html#f_enq">enq</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 5</A>

    <A NAME="f_eot"><A HREF="../base/ascii_flatshort.html#f_eot">eot</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 4</A>

    <A NAME="f_equal_sign"><A HREF="../base/ascii_flatshort.html#f_equal_sign">equal_sign</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 61</A>

    <A NAME="f_esc"><A HREF="../base/ascii_flatshort.html#f_esc">esc</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 27</A>

    <A NAME="f_etb"><A HREF="../base/ascii_flatshort.html#f_etb">etb</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 23</A>

    <A NAME="f_etx"><A HREF="../base/ascii_flatshort.html#f_etx">etx</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 3</A>

    <A NAME="f_exclamation"><A HREF="../base/ascii_flatshort.html#f_exclamation">exclamation</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 33</A>

    <A NAME="f_first_printable"><A HREF="../base/ascii_flatshort.html#f_first_printable">first_printable</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 32</A>

    <A NAME="f_five"><A HREF="../base/ascii_flatshort.html#f_five">five</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 53</A>

    <A NAME="f_four"><A HREF="../base/ascii_flatshort.html#f_four">four</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 52</A>

    <A NAME="f_fs"><A HREF="../base/ascii_flatshort.html#f_fs">fs</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 28</A>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_grave_accent"><A HREF="../base/ascii_flatshort.html#f_grave_accent">grave_accent</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 96</A>

    <A NAME="f_greaterthan"><A HREF="../base/ascii_flatshort.html#f_greaterthan">greaterthan</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 62</A>

    <A NAME="f_gs"><A HREF="../base/ascii_flatshort.html#f_gs">gs</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 29</A>

    <A NAME="f_home_arrow"><A HREF="../base/ascii_flatshort.html#f_home_arrow">home_arrow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -6</A>

    <A NAME="f_ht"><A HREF="../base/ascii_flatshort.html#f_ht">ht</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 9</A>

    <A NAME="f_last_ascii"><A HREF="../base/ascii_flatshort.html#f_last_ascii">last_ascii</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 127</A>

    <A NAME="f_last_printable"><A HREF="../base/ascii_flatshort.html#f_last_printable">last_printable</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 126</A>

    <A NAME="f_lbracket"><A HREF="../base/ascii_flatshort.html#f_lbracket">lbracket</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 91</A>

    <A NAME="f_lcurly"><A HREF="../base/ascii_flatshort.html#f_lcurly">lcurly</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 40</A>

    <A NAME="f_left_arrow"><A HREF="../base/ascii_flatshort.html#f_left_arrow">left_arrow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -4</A>

    <A NAME="f_lessthan"><A HREF="../base/ascii_flatshort.html#f_lessthan">lessthan</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 60</A>

    <A NAME="f_letter_layout"><A HREF="../base/ascii_flatshort.html#f_letter_layout">letter_layout</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 70</A>

    <A NAME="f_line_feed"><A HREF="../base/ascii_flatshort.html#f_line_feed">line_feed</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 10</A>

    <A NAME="f_lower_a"><A HREF="../base/ascii_flatshort.html#f_lower_a">lower_a</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 97</A>

    <A NAME="f_lower_b"><A HREF="../base/ascii_flatshort.html#f_lower_b">lower_b</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 98</A>

    <A NAME="f_lower_c"><A HREF="../base/ascii_flatshort.html#f_lower_c">lower_c</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 99</A>

    <A NAME="f_lower_d"><A HREF="../base/ascii_flatshort.html#f_lower_d">lower_d</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 100</A>

    <A NAME="f_lower_e"><A HREF="../base/ascii_flatshort.html#f_lower_e">lower_e</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 101</A>

    <A NAME="f_lower_f"><A HREF="../base/ascii_flatshort.html#f_lower_f">lower_f</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 102</A>

    <A NAME="f_lower_g"><A HREF="../base/ascii_flatshort.html#f_lower_g">lower_g</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 103</A>

    <A NAME="f_lower_h"><A HREF="../base/ascii_flatshort.html#f_lower_h">lower_h</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 104</A>

    <A NAME="f_lower_i"><A HREF="../base/ascii_flatshort.html#f_lower_i">lower_i</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 105</A>

    <A NAME="f_lower_j"><A HREF="../base/ascii_flatshort.html#f_lower_j">lower_j</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 106</A>

    <A NAME="f_lower_k"><A HREF="../base/ascii_flatshort.html#f_lower_k">lower_k</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 107</A>

    <A NAME="f_lower_l"><A HREF="../base/ascii_flatshort.html#f_lower_l">lower_l</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 108</A>

    <A NAME="f_lower_m"><A HREF="../base/ascii_flatshort.html#f_lower_m">lower_m</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 109</A>

    <A NAME="f_lower_n"><A HREF="../base/ascii_flatshort.html#f_lower_n">lower_n</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 110</A>

    <A NAME="f_lower_o"><A HREF="../base/ascii_flatshort.html#f_lower_o">lower_o</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 111</A>

    <A NAME="f_lower_p"><A HREF="../base/ascii_flatshort.html#f_lower_p">lower_p</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 112</A>

    <A NAME="f_lower_q"><A HREF="../base/ascii_flatshort.html#f_lower_q">lower_q</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 113</A>

    <A NAME="f_lower_r"><A HREF="../base/ascii_flatshort.html#f_lower_r">lower_r</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 114</A>

    <A NAME="f_lower_s"><A HREF="../base/ascii_flatshort.html#f_lower_s">lower_s</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 115</A>

    <A NAME="f_lower_t"><A HREF="../base/ascii_flatshort.html#f_lower_t">lower_t</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 116</A>

    <A NAME="f_lower_u"><A HREF="../base/ascii_flatshort.html#f_lower_u">lower_u</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 117</A>

    <A NAME="f_lower_v"><A HREF="../base/ascii_flatshort.html#f_lower_v">lower_v</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 118</A>

    <A NAME="f_lower_w"><A HREF="../base/ascii_flatshort.html#f_lower_w">lower_w</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 119</A>

    <A NAME="f_lower_x"><A HREF="../base/ascii_flatshort.html#f_lower_x">lower_x</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 120</A>

    <A NAME="f_lower_y"><A HREF="../base/ascii_flatshort.html#f_lower_y">lower_y</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 121</A>

    <A NAME="f_lower_z"><A HREF="../base/ascii_flatshort.html#f_lower_z">lower_z</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 122</A>

    <A NAME="f_minus"><A HREF="../base/ascii_flatshort.html#f_minus">minus</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 45</A>

    <A NAME="f_nak"><A HREF="../base/ascii_flatshort.html#f_nak">nak</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 21</A>

    <A NAME="f_nine"><A HREF="../base/ascii_flatshort.html#f_nine">nine</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 57</A>

    <A NAME="f_nl"><A HREF="../base/ascii_flatshort.html#f_nl">nl</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 10</A>

    <A NAME="f_np"><A HREF="../base/ascii_flatshort.html#f_np">np</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 12</A>

    <A NAME="f_nul"><A HREF="../base/ascii_flatshort.html#f_nul">nul</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 0</A>

    <A NAME="f_number_sign"><A HREF="../base/ascii_flatshort.html#f_number_sign">number_sign</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 35</A>

    <A NAME="f_one"><A HREF="../base/ascii_flatshort.html#f_one">one</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 49</A>

    <A NAME="f_opening_brace"><A HREF="../base/ascii_flatshort.html#f_opening_brace">opening_brace</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 123</A>

    <A NAME="f_overflow"><A HREF="../base/ascii_flatshort.html#f_overflow">overflow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -8</A>

    <A NAME="f_percent"><A HREF="../base/ascii_flatshort.html#f_percent">percent</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 37</A>

    <A NAME="f_plus"><A HREF="../base/ascii_flatshort.html#f_plus">plus</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 43</A>

    <A NAME="f_questmark"><A HREF="../base/ascii_flatshort.html#f_questmark">questmark</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 63</A>

    <A NAME="f_rbracket"><A HREF="../base/ascii_flatshort.html#f_rbracket">rbracket</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 93</A>

    <A NAME="f_rcurly"><A HREF="../base/ascii_flatshort.html#f_rcurly">rcurly</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 41</A>

    <A NAME="f_right_arrow"><A HREF="../base/ascii_flatshort.html#f_right_arrow">right_arrow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -5</A>

    <A NAME="f_rs"><A HREF="../base/ascii_flatshort.html#f_rs">rs</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 30</A>

    <A NAME="f_semicolon"><A HREF="../base/ascii_flatshort.html#f_semicolon">semicolon</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 59</A>

    <A NAME="f_seven"><A HREF="../base/ascii_flatshort.html#f_seven">seven</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 55</A>

    <A NAME="f_si"><A HREF="../base/ascii_flatshort.html#f_si">si</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 15</A>

    <A NAME="f_singlequote"><A HREF="../base/ascii_flatshort.html#f_singlequote">singlequote</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 39</A>

    <A NAME="f_six"><A HREF="../base/ascii_flatshort.html#f_six">six</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 54</A>

    <A NAME="f_slash"><A HREF="../base/ascii_flatshort.html#f_slash">slash</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 47</A>

    <A NAME="f_so"><A HREF="../base/ascii_flatshort.html#f_so">so</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 14</A>

    <A NAME="f_soh"><A HREF="../base/ascii_flatshort.html#f_soh">soh</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>

    <A NAME="f_sp"><A HREF="../base/ascii_flatshort.html#f_sp">sp</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 32</A>

    <A NAME="f_star"><A HREF="../base/ascii_flatshort.html#f_star">star</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 42</A>

    <A NAME="f_stx"><A HREF="../base/ascii_flatshort.html#f_stx">stx</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 2</A>

    <A NAME="f_sub"><A HREF="../base/ascii_flatshort.html#f_sub">sub</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 26</A>

    <A NAME="f_syn"><A HREF="../base/ascii_flatshort.html#f_syn">syn</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 22</A>

    <A NAME="f_tabulation"><A HREF="../base/ascii_flatshort.html#f_tabulation">tabulation</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 9</A>

    <A NAME="f_three"><A HREF="../base/ascii_flatshort.html#f_three">three</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 51</A>

    <A NAME="f_tilde"><A HREF="../base/ascii_flatshort.html#f_tilde">tilde</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 126</A>

    <A NAME="f_two"><A HREF="../base/ascii_flatshort.html#f_two">two</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 50</A>

    <A NAME="f_underlined"><A HREF="../base/ascii_flatshort.html#f_underlined">underlined</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 95</A>

    <A NAME="f_up_arrow"><A HREF="../base/ascii_flatshort.html#f_up_arrow">up_arrow</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> -2</A>

    <A NAME="f_upper_a"><A HREF="../base/ascii_flatshort.html#f_upper_a">upper_a</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 65</A>

    <A NAME="f_upper_b"><A HREF="../base/ascii_flatshort.html#f_upper_b">upper_b</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 66</A>

    <A NAME="f_upper_c"><A HREF="../base/ascii_flatshort.html#f_upper_c">upper_c</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 67</A>

    <A NAME="f_upper_d"><A HREF="../base/ascii_flatshort.html#f_upper_d">upper_d</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 68</A>

    <A NAME="f_upper_e"><A HREF="../base/ascii_flatshort.html#f_upper_e">upper_e</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 69</A>

    <A NAME="f_upper_f"><A HREF="../base/ascii_flatshort.html#f_upper_f">upper_f</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 70</A>

    <A NAME="f_upper_g"><A HREF="../base/ascii_flatshort.html#f_upper_g">upper_g</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 71</A>

    <A NAME="f_upper_h"><A HREF="../base/ascii_flatshort.html#f_upper_h">upper_h</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 72</A>

    <A NAME="f_upper_i"><A HREF="../base/ascii_flatshort.html#f_upper_i">upper_i</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 73</A>

    <A NAME="f_upper_j"><A HREF="../base/ascii_flatshort.html#f_upper_j">upper_j</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 74</A>

    <A NAME="f_upper_k"><A HREF="../base/ascii_flatshort.html#f_upper_k">upper_k</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 75</A>

    <A NAME="f_upper_l"><A HREF="../base/ascii_flatshort.html#f_upper_l">upper_l</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 76</A>

    <A NAME="f_upper_m"><A HREF="../base/ascii_flatshort.html#f_upper_m">upper_m</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 77</A>

    <A NAME="f_upper_n"><A HREF="../base/ascii_flatshort.html#f_upper_n">upper_n</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 78</A>

    <A NAME="f_upper_o"><A HREF="../base/ascii_flatshort.html#f_upper_o">upper_o</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 79</A>

    <A NAME="f_upper_p"><A HREF="../base/ascii_flatshort.html#f_upper_p">upper_p</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 80</A>

    <A NAME="f_upper_q"><A HREF="../base/ascii_flatshort.html#f_upper_q">upper_q</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 81</A>

    <A NAME="f_upper_r"><A HREF="../base/ascii_flatshort.html#f_upper_r">upper_r</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 82</A>

    <A NAME="f_upper_s"><A HREF="../base/ascii_flatshort.html#f_upper_s">upper_s</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 83</A>

    <A NAME="f_upper_t"><A HREF="../base/ascii_flatshort.html#f_upper_t">upper_t</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 84</A>

    <A NAME="f_upper_u"><A HREF="../base/ascii_flatshort.html#f_upper_u">upper_u</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 85</A>

    <A NAME="f_upper_v"><A HREF="../base/ascii_flatshort.html#f_upper_v">upper_v</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 86</A>

    <A NAME="f_upper_w"><A HREF="../base/ascii_flatshort.html#f_upper_w">upper_w</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 87</A>

    <A NAME="f_upper_x"><A HREF="../base/ascii_flatshort.html#f_upper_x">upper_x</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 88</A>

    <A NAME="f_upper_y"><A HREF="../base/ascii_flatshort.html#f_upper_y">upper_y</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 89</A>

    <A NAME="f_upper_z"><A HREF="../base/ascii_flatshort.html#f_upper_z">upper_z</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 90</A>

    <A NAME="f_us"><A HREF="../base/ascii_flatshort.html#f_us">us</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 31</A>

    <A NAME="f_vt"><A HREF="../base/ascii_flatshort.html#f_vt">vt</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 11</A>

    <A NAME="f_zero"><A HREF="../base/ascii_flatshort.html#f_zero">zero</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 48</A>
    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/ascii_flatshort.html">ASCII</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/ascii_flatshort.html">ASCII</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> equal to current object?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/ascii_flatshort.html">ASCII</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/ascii_flatshort.html">ASCII</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/ascii_flatshort.html">ASCII</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/ascii_flatshort.html">ASCII</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/ascii_flatshort.html">ASCII</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/ascii_flatshort.html">ASCII</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/ascii_flatshort.html">ASCII</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/ascii_flatshort.html">ASCII</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/ascii_flatshort.html">ASCII</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="ascii_chart.html">Chart</A></TD><TD><A HREF="ascii_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

